翻訳と辞書
Words near each other
・ Don Sak District
・ Don Sakers
・ Don Saleski
・ Don Saliers
・ Don Salsa
・ Don Saltero's
・ Don Saltmarsh
・ Don Saltsman
・ Don Salvio Pacheco Adobe
・ Don Samuelson
・ Don Samuelson (Minnesota politician)
・ Don Sanche
・ Don Sandburg
・ Don Sanders Stadium
・ Don Sandman
Don Sannella
・ Don Sasa
・ Don Satijn
・ Don Savage
・ Don Savage (basketball)
・ Don Savidge
・ Don Scardino
・ Don Schaefer
・ Don Schain
・ Don Schaly
・ Don Schiff
・ Don Schlesinger
・ Don Schlitten
・ Don Schlitz
・ Don Schlundt


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Don Sannella : ウィキペディア英語版
Don Sannella

Donald T. Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland. He graduated from Yale University with a degree in Computer Science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code. He is editor-in-chief
of the journal ''Theoretical Computer Science''.
==External links==

* (Official home page )
* (Personal home page )
* (Publications )



抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Don Sannella」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.